<?php

if (!isset($_SESSION))
session_start();
# this variable sets whether to output a maintenance message
$pushTime = false;